一. 內容
This is a course on how to design an embedded SOC system, from specification to the final product. A core embedded into an SOC (System-on-Chip) environment helps the SOC accomplish some dedicated set of tasks.
Taking this course will let you learn the state-of-art techniques in designing the hardware and software parts of embedded SOC systems, including specification models, specification languages, partitioning, synthesis, and verification of these hardware and software parts. In addition to class lectures, students have also to prepare a presentation on the growing trends of Hardware-Software Co-design techniques in embedded SOC systems by searching materials from the Web. Major topics covered in this course are as follows:

1. Introduction to HW-SW Co-design in Embedded SOC Systems.
2. Hardware/Software Co-design and Verification in Embedded SOCs.
3. Platform-based Embedded SOC Design.
4. Embedded Software Design in SOC.
5. Case Studies for HW-SW Design.
6. Real-World HW-SW Design Tools: ARM-Based platform, SOC Encounter (Cadence), ConvergenceSC (CoWare Inc.).

二. 教科書 (Text-Books [1-2], Reference Books [3-5])
1. T. Grotker, S. Liao, G. Martin, and S. Swan, System Design with SystemC, 2002, Kluwer Academic Publishers.
2. F. Vahid, and T. Givargis, Embedded System Design: A Unified Hardware/Sofware Introduction, 2002, John Wiley & Sons Inc.
3. D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and Design of Embedded Systems, 1994, Prentice Hall.
4. B. Tabbara, A. Tabbara, and A. Sangiovanni-Vincentelli, Function/Architecture Optimization and Co-design of Embedded Systems, 2000, Kluwer Academic Publishers.
5. P. Rashinkar, P. Paterson, and L. Singh, SOC Verification: Methodology and Techniques, 2001, Kluwer Academic Publishers.
6. H. Chang, et al., Surviving the SOC Revolution: A Guide to Platform-Based Design, 1999, Kluwer Academic Publishers.

三. 成績評量方式
Paper Reading 30%, Midterm Report 30%, Final Presentation and Report 40%.

四. 預修課程
Programming Language (C or C++)